1. .....................
پدیدآورنده : Dahl, Ole - John
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D33
2. Communicating sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers- Programming,Parallel processing (electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Communicating sequential processes
پدیدآورنده : / C.A.R. Hoare
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic digital computers -- Programming,Parallel processing (Electronic computers)
رده :
QA76
.
6
.
H57
1985
4. Communicating sequential processes
پدیدآورنده : Hoare, Carles Antony Richard
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
H57
1985
5. Communicating sequential processes
پدیدآورنده : / C. A. R. Hoare
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers - Programming,Parallel processing electronic
رده :
QA76
.
6
.
H57
1985
6. Communication sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Developments in concurrency and communication
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Parallel processing )Electronic computers(
8. Discrete groups and geometry :
پدیدآورنده : edited by W.J. Harvey, in collaboration with C. Maclachlan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Discrete groups, Congresses.,Geometry, Congresses.,Discrete groepen.,Discrete groups.,Géométrie-- Congrès.,Geometry.,Groupes discrets-- Congrès.,MATHEMATICS-- Group Theory.,Meetkunde.
رده :
QA178
.
D57
1992eb
9. Essays in computing science
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic data processing,Computers
رده :
QA
،
76
،.
H56
،
1989
10. Essays in computing science /
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hoare, C. A. R.-- Bibliography.,Computers.,Electronic data processing.,Bibliography-- Hoare, C.A.R.,Computers.,Electronic data processing.
رده :
QA76
.
5
11. European diplomacy between two wars, 1919- 1939
پدیدآورنده : Edited with an introd. by Hans W. Gatzke
کتابخانه: Library of Faculty of Law and Political Science of Tehran University (Tehran)
موضوع : Europe-- Politics-- 1918-1945-- Addresses, essays, lectures,World War, 1939-1945-- Causes-- Addresses, essays, lectures,Germany-- Foreign relations-- 1918-1945-- Addresses, essays, lectures,Germany- Foreign relations-- 1933-1945-- Addresses, essays, lectures
رده :
D727
.
G38
12. Handbook of research on adult learning and development /
پدیدآورنده : edited by M. Cecil Smith ; with Nancy DeFrates-Densch.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adult education-- Research, Handbooks, manuals, etc.,Adult learning-- Research, Handbooks, manuals, etc.,Adult.,Cognition.,Learning.,79.63 adult education.,Adult education-- Research.,Adult learning-- Research.,Onderzoek.,Ontwikkelingspsychologie.,Volwasseneneducatie.
رده :
LC5225
.
R47
H36
2009
13. Image and imagination :
پدیدآورنده : by C.S. Lewis ; edited by Walter Hooper.
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
14. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
15. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
16. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
17. Molecular mechanisms of notch signaling /
پدیدآورنده : Tilman Borggrefe, Benedetto Daniele Giaimo, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cellular signal transduction.,Notch proteins.,Receptors, Notch-- metabolism.,Signal Transduction-- physiology.,Cellular signal transduction.,Notch proteins.,Proteins.,SCIENCE-- Life Sciences-- Anatomy & Physiology.
رده :
QP517
.
C45
18. Operating systems techniques; proceedings
پدیدآورنده : edited by C. A. R. Hoare )and( R. H. Perrott,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Operating systems )Computers( - Congresses
رده :
QA
.
I57
76
.
6
1971
19. Operating systems techniques; proceedings
پدیدآورنده : International Seminar on Operating Systems Techniques, )1791, Queen's University of Belfast(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Operating systems )Computers(-- Congresses
رده :
QA
76
.
6
.
I57
1971
20. Program verification :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
76
.
V47
P764
2013